SYSTEMS = idemix linkingservice smartcard smartcert

all: $(patsubst %,%.all,$(SYSTEMS))
ana: $(patsubst %,%.props,$(SYSTEMS))
graph: $(patsubst %,%.graph,$(SYSTEMS))
clean: $(patsubst %,%.clean,$(SYSTEMS))

%.all: Makefile.%
	make -f $< all

%.ana: Makefile.%
	make -f $< ana

%.graph: Makefile.%
	make -f $< graph

%.clean: Makefile.%
	make -f $< clean
